Fix Bug#8522.
authorK. Handa <handa@gnu.org>
Sat, 20 Jul 2013 11:53:32 +0000 (20:53 +0900)
committerK. Handa <handa@gnu.org>
Sat, 20 Jul 2013 11:53:32 +0000 (20:53 +0900)
commite1d4515e521c238aeb9eee2b2f00abf18aa23998
tree2659800ef61c5d25f7c9a17664dc4535add4321a
parent6a18a9a18a0c2810ee934db48e72cdf7b54c8d98
parent6feb3b7437dab2916e1c9d93447a51e580ee82ec
Fix Bug#8522.